Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Deep model-free KKL observer: A switching approach

Subjects: observer; nonlinear systems; deep learningOxford; United Kingdom

  • Source: Learning for Dynamics and Control ; https://hal.science/hal-04518181 ; Learning for Dynamics and Control, Jul 2024, Oxford, United Kingdom

Record details

×
Conference

Deep model-free KKL observer: A switching approach

Subjects: observer; nonlinear systems; deep learningOxford; United Kingdom

  • Source: Learning for Dynamics and Control ; https://hal.science/hal-04518181 ; Learning for Dynamics and Control, Jul 2024, Oxford, United Kingdom

Record details

×
Conference

Deep model-free KKL observer: A switching approach

Subjects: observer; nonlinear systems; deep learningOxford; United Kingdom

  • Source: Learning for Dynamics and Control ; https://hal.science/hal-04518181 ; Learning for Dynamics and Control, Jul 2024, Oxford, United Kingdom

Record details

×
Conference

Compositional statistical mechanics, entropy and variational inference

Subjects: Statistical mechanics; category theory; Extreme Gibbs measuresBirmingham (UK); United Kingdom

  • Source: Twelfth Symposium on Com- positional Structures (SYCO 12) ; https://hal.sorbonne-universite.fr/hal-04518736 ; Twelfth Symposium on Com- positional Structures (SYCO 12), Apr 2024, Birmingham (UK),

Record details

×
Conference

Control allocation for optimal and resilient operation of the MMC

Subjects: MMC; Control Allocation; Fault Tolerant ControlBristol; United KingdomBristol, United Kingdom

  • Source: 25th IEEE International Conference on Industrial Technology (ICIT 2024)https://hal.science/hal-0454614425th IEEE International Conference on Industrial Technology (ICIT 2024), Mar 2024,

Record details

×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

×
Conference

Numerical analysis of axial compression impact on the hydrodynamics of open-cell foams ; Analyse numérique de l'impact d'une compression axiale sur l'hydrodynamique des mousses à pores ouverts

Subjects: XPHD; CDF simulation; IcoFoam OpenFOAMEdingbourg; United Kingdom

  • Source: 15th annual international conference on porous mediahttps://univ-poitiers.hal.science/hal-0431620815th annual international conference on porous media, interpore, May 2023, Edingbourg,

Record details

×
Conference

Numerical analysis of axial compression impact on the hydrodynamics of open-cell foams ; Analyse numérique de l'impact d'une compression axiale sur l'hydrodynamique des mousses à pores ouverts

Subjects: XPHD; CDF simulation; IcoFoam OpenFOAMEdingbourg; United Kingdom

  • Source: 15th annual international conference on porous mediahttps://univ-poitiers.hal.science/hal-0431620815th annual international conference on porous media, interpore, May 2023, Edingbourg,

Record details

×
  • 1-10 of  966 results for ""math""